Issue543.agda:34,10-72
unsquash (squash _) != true of type Bool
when checking that the inferred type of an application
  unsquash (squash _) ≡ unsquash _y_28
matches the expected type
  true ≡ false
